Buy Used and New Amir Pnueli Books

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)

by N/A

ISBN 13: 9783642114854

Format: Paperback (425 pages)
Publisher: Springer
Published: 08 Feb 2010

Save for later

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

by Krzysztof R. Apt,Frank S. de Boer,Ernst-Rüdiger Olderog

ISBN 13: 9781848827448

Format: Hardcover (502 pages)
Publisher: Springer
Published: 02 Oct 2009

Save for later

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings: v. 2623 (Lecture Notes in Computer Science)

by

ISBN 13: 9783540009139

Format: Paperback (558 pages)
Publisher: Springer
Published: 18 Mar 2003

Save for later

Temporal Verification of Reactive Systems: Safety

by Zohar Manna,Amir Pnueli

ISBN 13: 9780387944593

Format: Illustrated (530 pages)
Publisher: Springer
Published: 04 Aug 1995

Save for later

The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna,Amir Pnueli

ISBN 13: 9780387976648

Format: Illustrated (441 pages)
Publisher: Springer
Published: 15 Dec 1991

Save for later